Classe d'équivalence de \(p\) modulo \(n\) : ensemble \(\bar p\) des nombres congrus à \(p\) modulo \(n\) $$\bar p=\bar q\iff p\equiv q\pmod n$$ (Classe d’équivalence, Congruence (arithmétique))
Ensemble ZnZ